(module
  (memory 5)
)
